A.

确认是想证实在一个给定的外部环境中软件的逻辑正确性，并检查软件在最终的“运行环境上是否达到预期的目标”

B.

检测软件开发的每个阶段、每个步骤的结果是否正确无误，是否与软件开发各阶段的要求或期望的结果相一致

C.

检查某样东西是否符合事先已定好的标准

D.

试图证明软件在软件生命周期各个阶段以及阶段间的逻辑协调性、完备性和正确性